IFOG: Inductive Functional Programming for Geometric Processing
نویسندگان
چکیده
منابع مشابه
Analytical Inductive Functional Programming
We describe new methods to induce functional programs from small sets of non-recursive equations representing a subset of the input-output behaviour of some function to be implemented. Classical attempts to construct functional Lisp-programs from input/outputexamples are analytical, i.e., a Lisp-program belonging to a strongly restricted program class is algorithmically derived from examples. M...
متن کاملLogic Programming, Functional Programming, and Inductive Definitions
An attempt at unifying logic and functional programming is reported. As a starting point, we take the view that"logic programs"are not about logic but constitute inductive definitions of sets and relations. A skeletal language design based on these considerations is sketched and a prototype implementation discussed.
متن کاملInductive Functional Programming Using Incremental Program Transformation
The paper presents a system, ADATE, for automatic functional programming. ADATE uses speci cations that contain few constraints on the programs to be synthesized and that allow a wide range of correct programs. ADATE can generate novel and unexpected recursive programs with automatic invention of recursive auxiliary functions. Successively better programs are developed using incremental program...
متن کاملTowards Human-Level Inductive Functional Programming
Inductive programming is the framework for automated programming, obtaining generalized recursive programs from ambiguous specifications such as input-output examples. Development of an inductive programming system at the level of human programmers is desired, but it involves the trade off between scale and versatility which are difficult to go together. This paper presents our research idea to...
متن کاملA Strong Complete Schmema for Inductive Functional Logic Programming
A new IFLP schema is presented as a general framework for the induction of functional logic programs (FLP). Since narrowing (which is the most usual operational semantics of FLP) performs a unification (mgu) followed by a replacement, we introduce two main operators in our IFLP schema: a generalisation and an inverse replacement or intrareplacement, which results in a generic inversion of the t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computer-Aided Design and Applications
سال: 2015
ISSN: 1686-4360
DOI: 10.1080/16864360.2015.1114397